SysML to NuSMV Model Transformation via Object-Orientation
نویسندگان
چکیده
This paper proposes a transformation of SysML models into the NuSMV input language. The transformation is performed automatically using SysMV-Ja and relies on a notion of intermediate model structuring the relevant SysML components in an object-oriented fashion.
منابع مشابه
Collective Specification and Verification of Behavior Models and Object-oriented Implementations
We present a finite-state-machine-based language, iFSM, to seamlessly integrate the behavioral logic and implementation strategies of object-oriented abstractions and prevent them from being out-of-sync. We provide a transformation engine which automatically translates iFSM specifications to lower-level C++/Java class implementations that are similar in style to manually written code. Further, ...
متن کاملModeling Continuous System Dynamics in Sysml
In this paper, we present a formal approach to modeling continuous system dynamics in SysML using differential algebraic equations (DAE’s). To support model-based design, the Object Management Group has recently developed the Systems Modeling Language (OMG SysMLTM). The language is well-suited for modeling many different aspects of largescale, multidisciplinary engineering projects. It allows s...
متن کاملVerification and Validation of Meta-model based Transformation from SysML to VHDL-AMS
This paper proposes an approach to verify SysML models consistency and to validate the transformation of SysML models to VHDL-AMS code. This approach is based on two main solutions: the use of model-to-model transformation to verify SysML models consistency and writing unit tests to validate model transformations. The translation of SysML models into VHDL-AMS simulable code uses MMT (Model to M...
متن کاملAccuracy improvement of Best Scanline Search Algorithms for Object to Image Transformation of Linear Pushbroom Imagery
Unlike the frame type images, back-projection of ground points onto the 2D image space is not a straightforward process for the linear pushbroom imagery. In this type of images, best scanline search problem complicates image processing using Collinearity equation from computational point of view in order to achieve reliable exterior orientation parameters. In recent years, new best scanline sea...
متن کاملTowards Integrating SysML and AUTOSAR Modeling via Bidirectional Model Synchronization
During the overall development of complex engineering systems different modeling notations are employed. In the domain of automotive systems, for example, SysML models are employed quite early to capture the requirements and basic structuring of the whole system, while AUTOSAR models are employed later to describe the concrete software architecture. Each model helps to address the specific desi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016